$\forall$$T$:Type, $c$:$T$, $i$:Id. R{-}Feasible(constR\{x:ut2\}($T$; $c$; $i$))